Symposium on Principles of Programming Languages - PDFSEARCH.IO - Document Search Engine

Symposium on Principles of Programming Languages
Results: 54

#	Item
41	Joseph Devietti Computer & Information Science Department http://www.cis.upenn.edu/~devietti/ University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2015-02-10 13:55:46 Computer architecture International Symposium on Computer Architecture XPL Symposium on Principles and Practice of Parallel Programming Computer science Computing International Conference on Architectural Support for Programming Languages and Operating Systems
42	ACM Symposium on Principles of Programming Languages (POPL), January[removed]Ownership Types for Object Encapsulation Chandrasekhar Boyapati Barbara Liskov Add to Reading List Source URL: pmg.csail.mit.edu Language: English - Date: 2008-09-12 19:04:43 Computer programming Iterator Design Patterns Object Protocol Generic programming Immutable object JavaScript Type system Software engineering Object-oriented programming Computing
43	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
44	ACM Symposium on Principles of Programming Languages (POPL), January[removed]Ownership Types for Object Encapsulation Chandrasekhar Boyapati Barbara Liskov Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2008-09-12 19:04:43 Computer programming Iterator Design Patterns Object Protocol Generic programming Immutable object JavaScript Type system Software engineering Object-oriented programming Computing
45	CURRICULUM VITAE Martin C. Rinard Department of Electrical Engineering and Computer Science Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-05-16 16:04:47 Software engineering OOPSLA Programming Language Design and Implementation Symposium on Principles and Practice of Parallel Programming SIGPLAN Principles of Programming Languages XPL ECL programming language Monica S. Lam Association for Computing Machinery Computer science Computing
46	37th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL ’10) Call for Papers Madrid, Spain, January 20-22, 2010. URI: http://www.cse.psu.edu/popl/10 Add to Reading List Source URL: www.cse.psu.edu Language: English - Date: 2009-10-27 22:06:03 Principles of Programming Languages Knowledge SIGPLAN ACM SIGACT XPL Abstract management Computer science Computing Association for Computing Machinery
47	Curriculum Vitae Shan Lu University of Chicago Department of Computer Sciences 1100E 58th St.. Room 257A Chicago, IL[removed]USA Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2014-06-18 22:08:31 Association for Computing Machinery Symposium on Operating Systems Principles Computer architecture Operating Systems Design and Implementation XPL Computer science Computing International Conference on Architectural Support for Programming Languages and Operating Systems
48	Curriculum Vitae Butler W. Lampson Employment Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2007-01-20 17:41:25 Year of birth missing Association for Computing Machinery Turing Award Capability-based security XPL Kernel Symposium on Operating Systems Principles Computer architecture Actor model Computing Computer science Procedural programming languages
49	Parallel Thinking* Guy Blelloch Carnegie Mellon University PROBE PPoPP, [removed] Add to Reading List Source URL: www.cs.cmu.edu Language: English* - Date: 2009-03-06 14:45:52 Sorting algorithms Quicksort Science Functional languages Symposium on Principles and Practice of Parallel Programming Parallel computing J Algorithm Software engineering Computing Computer programming
50	Research Overview Distributed Computing Generally speaking, we are interested in both theory and practice of computer science and information technology. In our group we cultivate a large breadth of areas, reflecting ou Add to Reading List Source URL: www.dcg.ethz.ch Language: English - Date: 2012-06-08 02:39:07 Symposium on Principles of Distributed Computing Symposium on Parallelism in Algorithms and Architectures Conference on Embedded Networked Sensor Systems Symposium on Foundations of Computer Science International Conference on Information Processing in Sensor Networks Symposium on Theory of Computing Distributed computing International Colloquium on Automata Languages and Programming ACM SIGACT Computer science Computing Wireless sensor network

UPDATE